Unruh, Dominique: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Quantum programming languages

Dominique Unruh

Journal:

Computer Science - Research and Development

Year:

2006

Language:

english

File:

PDF, 248 KB

english, 2006

2

[IEEE 2014 IEEE 55th Annual Symposium on Foundations of Computer Science (FOCS) - Philadelphia, PA, USA (2014.10.18-2014.10.21)] 2014 IEEE 55th Annual Symposium on Foundations of Computer Science - Quantum Attacks on Classical Proof Systems: The Hardness of Quantum Rewinding

Ambainis, Andris, Rosmanis, Ansis, Unruh, Dominique

Year:

2014

Language:

english

File:

PDF, 339 KB

english, 2014

3

[IEEE 2008 21st IEEE Computer Security Foundations Symposium - Pittsburgh, PA, USA (2008.06.23-2008.06.25)] 2008 21st IEEE Computer Security Foundations Symposium - Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers

Backes, Michael, Unruh, Dominique

Year:

2008

Language:

english

File:

PDF, 563 KB

english, 2008

4

[IEEE 2013 IEEE 26th Computer Security Foundations Symposium (CSF) - New Orleans, LA, USA (2013.06.26-2013.06.28)] 2013 IEEE 26th Computer Security Foundations Symposium - Symbolic Universal Composability

Bohl, Florian, Unruh, Dominique

Year:

2013

Language:

english

File:

PDF, 347 KB

english, 2013

5

Security of Blind Signatures Revisited

Schröder, Dominique, Unruh, Dominique

Journal:

Journal of Cryptology

Year:

2017

Language:

english

File:

PDF, 647 KB

english, 2017

6

Long-Term Security and Universal Composability

Jörn Müller-Quade, Dominique Unruh

Journal:

Journal of Cryptology

Year:

2010

Language:

english

File:

PDF, 1.05 MB

english, 2010

7

Polynomial Runtime and Composability

Dennis Hofheinz, Dominique Unruh, Jörn Müller-Quade

Journal:

Journal of Cryptology

Year:

2013

Language:

english

File:

PDF, 874 KB

english, 2013

8

Revocable Quantum Timed-Release Encryption

Unruh, Dominique

Journal:

Journal of the ACM

Year:

2015

Language:

english

File:

PDF, 577 KB

english, 2015

9

Everlasting Multi-party Computation

Unruh, Dominique

Journal:

Journal of Cryptology

Year:

2018

Language:

english

File:

PDF, 1009 KB

english, 2018

10

On using probabilistic Turing machines to model participants in cryptographic protocols

Klingler, Lee, Steinwandt, Rainer, Unruh, Dominique

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 165 KB

english, 2013

11

[ACM Press the 17th ACM conference - Chicago, Illinois, USA (2010.10.04-2010.10.08)] Proceedings of the 17th ACM conference on Computer and communications security - CCS '10 - Computationally sound verification of source code

Backes, Michael, Maffei, Matteo, Unruh, Dominique

Year:

2010

Language:

english

File:

PDF, 472 KB

english, 2010

12

[IEEE 2007 IEEE Symposium on Security and Privacy - Berkeley, CA, USA (2007.05.20-2007.05.23)] 2007 IEEE Symposium on Security and Privacy (SP '07) - Information Flow in the Peer-Reviewing Process

Backes, Michael, Durmuth, Markus, Unruh, Dominique

Year:

2007

Language:

english

File:

PDF, 167 KB

english, 2007

13

[ACM Press the 16th ACM conference - Chicago, Illinois, USA (2009.11.09-2009.11.13)] Proceedings of the 16th ACM conference on Computer and communications security - CCS '09 - CoSP

Backes, Michael, Hofheinz, Dennis, Unruh, Dominique

Year:

2009

Language:

english

File:

PDF, 528 KB

english, 2009

14

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Quantum Hoare Logic with Ghost Variables

Unruh, Dominique

Year:

2019

Language:

english

File:

PDF, 537 KB

english, 2019

15

[IEEE 2011 IEEE 24th Computer Security Foundations Symposium (CSF) - Cernay-la-Ville, France (2011.06.27-2011.06.29)] 2011 IEEE 24th Computer Security Foundations Symposium - Termination-Insensitive Computational Indistinguishability (and Applications to Computational Soundness)

Unruh, Dominique

Year:

2011

Language:

english

File:

PDF, 384 KB

english, 2011

16

Ambiguities in gravitational lens models: the density field from the source position transformation

Unruh, Sandra, Schneider, Peter, Sluse, Dominique

Journal:

Astronomy and Astrophysics

Year:

2017

Language:

english

File:

PDF, 3.87 MB

english, 2017

17

Symbolic universal composability

Böhl, Florian, Unruh, Dominique

Journal:

Journal of Computer Security

Year:

2016

Language:

english

File:

PDF, 346 KB

english, 2016

18

[IEEE 2008 IEEE Symposium on Security and Privacy (sp 2008) - Oakland, CA, USA (2008.05.18-2008.05.22)] 2008 IEEE Symposium on Security and Privacy (sp 2008) - Compromising Reflections-or-How to Read LCD Monitors around the Corner

Backes, Michael, D, Markus, Unruh, Dominique

Year:

2008

Language:

english

File:

PDF, 1.11 MB

english, 2008

19

[ACM Press the 2012 ACM conference - Raleigh, North Carolina, USA (2012.10.16-2012.10.18)] Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12 - Computational soundness without protocol restrictions

Backes, Michael, Malik, Ankit, Unruh, Dominique

Year:

2012

Language:

english

File:

PDF, 523 KB

english, 2012

20

[ACM Press the 2005 ACM workshop - Fairfax, VA, USA (2005.11.11-2005.11.11)] Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05 - On fairness in simulatability-based cryptographic systems

Backes, Michael, Hofheinz, Dennis, Müller-Quade, Jörn, Unruh, Dominique

Year:

2005

Language:

english

File:

PDF, 270 KB

english, 2005

21

[IEEE 2008 IEEE Symposium on Security and Privacy (sp 2008) - Oakland, CA, USA (2008.05.18-2008.05.22)] 2008 IEEE Symposium on Security and Privacy (sp 2008) - Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol

Backes, Michael, Maffei, Matteo, Unruh, Dominique

Year:

2008

Language:

english

File:

PDF, 363 KB

english, 2008

22

Quantum Programs With Classical Output Streams: (Extended Abstract)

Dominique Unruh

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 361 KB

english, 2007

23

On the (Im-)Possibility of Extending Coin Toss

Hofheinz, Dennis, Müller-Quade, Jörn, Unruh, Dominique

Journal:

Journal of Cryptology

Year:

2018

Language:

english

File:

PDF, 839 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски